Name Venue Year citations
Complexity in Algebraic Specifications: An Upper Bound Result. ADT 1988 1
Jungle Evaluation. ADT 1987 0
Based Algebras. ADT 1986 0
Specification of Partial Functions - Only a Tentative Suggestion. ADT 1983 1
Suggestions on the Interpretation of Algebraic Specifications. ADT 1983 1
An Algebraic Implementation Concept for Abstract Data Types. ADT 1982 1
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ